AIが指数時間仮説（ETH）を打破：計算機科学のパラダイムシフトと影響
AIモデルが計算機科学の根幹である指数時間仮説（ETH）を打破する証明を生成し、学界に激震を与えた。
#AI #Algorithms #TheoreticalComputerScience #MachineLearning
AIモデルが計算機科学の根幹である指数時間仮説（ETH）を打破する証明を生成し、学界に激震を与えた。
#AI #Algorithms #TheoreticalComputerScience #MachineLearning
AIが指数時間仮説（ETH）を打破：計算機科学のパラダイムシフトと影響
AIモデルが計算機科学の根幹である指数時間仮説（ETH）を打破する証明を生成し、学界に激震を与えた。
ai.warp-studio.com
November 1, 2026 at 7:03 AM
AIが指数時間仮説（ETH）を打破：計算機科学のパラダイムシフトと影響
AIモデルが計算機科学の根幹である指数時間仮説（ETH）を打破する証明を生成し、学界に激震を与えた。
#AI #Algorithms #TheoreticalComputerScience #MachineLearning
AIモデルが計算機科学の根幹である指数時間仮説（ETH）を打破する証明を生成し、学界に激震を与えた。
#AI #Algorithms #TheoreticalComputerScience #MachineLearning
University of Colorado Boulder is hiring:
Postdoctoral Associate in Theoretical Computer Science
#postdoc #computerscience #theoreticalcomputerscience
Postdoctoral Associate in Theoretical Computer Science
#postdoc #computerscience #theoreticalcomputerscience
October 27, 2026 at 11:00 PM
University of Colorado Boulder is hiring:
Postdoctoral Associate in Theoretical Computer Science
#postdoc #computerscience #theoreticalcomputerscience
Postdoctoral Associate in Theoretical Computer Science
#postdoc #computerscience #theoreticalcomputerscience
AIによる「Unique Games Conjecture」証明の波紋：人間と機械の競争が理論計算機科学にもたらす変革
AIの数学・計算量理論への進出と、人間研究者による直前のマイルストーン達成の攻防を解説。
#TheoreticalComputerScience #AI #GraphTheory #AutomatedReasoning #ComputationalComplexity
AIの数学・計算量理論への進出と、人間研究者による直前のマイルストーン達成の攻防を解説。
#TheoreticalComputerScience #AI #GraphTheory #AutomatedReasoning #ComputationalComplexity
AIによる「Unique Games Conjecture」証明の波紋：人間と機械の競争が理論計算機科学にもたらす変革
AIの数学・計算量理論への進出と、人間研究者による直前のマイルストーン達成の攻防を解説。
ai.warp-studio.com
October 8, 2026 at 2:26 AM
AIによる「Unique Games Conjecture」証明の波紋：人間と機械の競争が理論計算機科学にもたらす変革
AIの数学・計算量理論への進出と、人間研究者による直前のマイルストーン達成の攻防を解説。
#TheoreticalComputerScience #AI #GraphTheory #AutomatedReasoning #ComputationalComplexity
AIの数学・計算量理論への進出と、人間研究者による直前のマイルストーン達成の攻防を解説。
#TheoreticalComputerScience #AI #GraphTheory #AutomatedReasoning #ComputationalComplexity
📣 Open call: propose a research programme at the Bernoulli Center for 2028 in #mathematics, #theoreticalphysics or #theoreticalcomputerscience. Programmes last 2 to 9 weeks.
Deadline: 31 March 2027.
👉 bernoulli.epfl.ch/bernoulli-pr...
#EPFL #icepfl #BernoulliCenter
Deadline: 31 March 2027.
👉 bernoulli.epfl.ch/bernoulli-pr...
#EPFL #icepfl #BernoulliCenter
October 6, 2026 at 3:51 PM
📣 Open call: propose a research programme at the Bernoulli Center for 2028 in #mathematics, #theoreticalphysics or #theoreticalcomputerscience. Programmes last 2 to 9 weeks.
Deadline: 31 March 2027.
👉 bernoulli.epfl.ch/bernoulli-pr...
#EPFL #icepfl #BernoulliCenter
Deadline: 31 March 2027.
👉 bernoulli.epfl.ch/bernoulli-pr...
#EPFL #icepfl #BernoulliCenter
University of Cambridge (@cam.ac.uk) is hiring:
Postdoctoral Researcher in Theoretical Computer Science
#postdoc #computerscience #theoreticalcomputerscience
Postdoctoral Researcher in Theoretical Computer Science
#postdoc #computerscience #theoreticalcomputerscience
September 29, 2026 at 9:33 PM
University of Cambridge (@cam.ac.uk) is hiring:
Postdoctoral Researcher in Theoretical Computer Science
#postdoc #computerscience #theoreticalcomputerscience
Postdoctoral Researcher in Theoretical Computer Science
#postdoc #computerscience #theoreticalcomputerscience
University of Innsbruck is hiring:
Senior Lecturer (Doctorate/PhD)
#lecturer #computerscience #theoreticalcomputerscience
Senior Lecturer (Doctorate/PhD)
#lecturer #computerscience #theoreticalcomputerscience
September 5, 2026 at 5:40 PM
University of Innsbruck is hiring:
Senior Lecturer (Doctorate/PhD)
#lecturer #computerscience #theoreticalcomputerscience
Senior Lecturer (Doctorate/PhD)
#lecturer #computerscience #theoreticalcomputerscience
theoreticalComputerScience
August 17, 2026 at 2:00 AM
theoreticalComputerScience
#mathematics #grouptheory #algebra #theoreticalcomputerscience
In my study (a while ago) I learned about Σ Algebras (theoretical computer science).
Then later, I learnt in math there are σ Algebras, which seems sort of the same thing.
Today I'm curious about group theory, and groups are also […]
In my study (a while ago) I learned about Σ Algebras (theoretical computer science).
Then later, I learnt in math there are σ Algebras, which seems sort of the same thing.
Today I'm curious about group theory, and groups are also […]
Original post on fediscience.org
fediscience.org
January 9, 2026 at 5:37 PM
#mathematics #grouptheory #algebra #theoreticalcomputerscience
In my study (a while ago) I learned about Σ Algebras (theoretical computer science).
Then later, I learnt in math there are σ Algebras, which seems sort of the same thing.
Today I'm curious about group theory, and groups are also […]
In my study (a while ago) I learned about Σ Algebras (theoretical computer science).
Then later, I learnt in math there are σ Algebras, which seems sort of the same thing.
Today I'm curious about group theory, and groups are also […]
P=NP
#pvsnp #math #mathematics #cs #computerscience #theoreticalcomputerscience #complexitytheory #artificialintelligence #onepolynomial
onepolynomial.wordpress.com/2024/10/16/p...
#pvsnp #math #mathematics #cs #computerscience #theoreticalcomputerscience #complexitytheory #artificialintelligence #onepolynomial
onepolynomial.wordpress.com/2024/10/16/p...
P=NP
P = NP: Exploring Algorithms, Learning, and the Abstract Mathematical Universe This paper presents an informal, amateur proof of P = NP, combining theoretical ideas and personal insights without th…
onepolynomial.wordpress.com
October 16, 2024 at 6:28 AM
"EDIC gave me the mentorship, freedom, and network I needed to pursue research at the highest level."
Are you ready to start your own research journey?
➡️ Discover EDIC PhD
#EDICPhD #PhDlife #AcademicResearch #Algorithms #TheoreticalComputerScience #ISTAustria #ResearchOpportunities
Are you ready to start your own research journey?
➡️ Discover EDIC PhD
#EDICPhD #PhDlife #AcademicResearch #Algorithms #TheoreticalComputerScience #ISTAustria #ResearchOpportunities
October 17, 2025 at 7:35 AM
"EDIC gave me the mentorship, freedom, and network I needed to pursue research at the highest level."
Are you ready to start your own research journey?
➡️ Discover EDIC PhD
#EDICPhD #PhDlife #AcademicResearch #Algorithms #TheoreticalComputerScience #ISTAustria #ResearchOpportunities
Are you ready to start your own research journey?
➡️ Discover EDIC PhD
#EDICPhD #PhDlife #AcademicResearch #Algorithms #TheoreticalComputerScience #ISTAustria #ResearchOpportunities
NITheCS & UKZN Seminar: 'Lower Bounds against the Ideal Proof System in Finite Fields' by Nashlen Govindasamy (Imperial College London)
🗓️ Thurs, 9 Apr
⏰ 12h15–13h15 SAST
📍 Attend online or in person
🔗 buff.ly/NP54583
#ProofComplexity #FiniteFields #Algorithms #TheoreticalComputerScience #Algebra
🗓️ Thurs, 9 Apr
⏰ 12h15–13h15 SAST
📍 Attend online or in person
🔗 buff.ly/NP54583
#ProofComplexity #FiniteFields #Algorithms #TheoreticalComputerScience #Algebra
April 2, 2026 at 3:50 PM
NITheCS & UKZN Seminar: 'Lower Bounds against the Ideal Proof System in Finite Fields' by Nashlen Govindasamy (Imperial College London)
🗓️ Thurs, 9 Apr
⏰ 12h15–13h15 SAST
📍 Attend online or in person
🔗 buff.ly/NP54583
#ProofComplexity #FiniteFields #Algorithms #TheoreticalComputerScience #Algebra
🗓️ Thurs, 9 Apr
⏰ 12h15–13h15 SAST
📍 Attend online or in person
🔗 buff.ly/NP54583
#ProofComplexity #FiniteFields #Algorithms #TheoreticalComputerScience #Algebra
“Representation shapes what seems possible, even when no one says it out loud. I feel so incredibly lucky to have crossed paths with (...) incredible women.” - Surya Mathialagan
➡️ hermathsstory.eu/surya-mathia...
#Cryptography #USA #Math #TheoreticalComputerScience #hermathsstory
➡️ hermathsstory.eu/surya-mathia...
#Cryptography #USA #Math #TheoreticalComputerScience #hermathsstory
December 10, 2025 at 11:01 AM
“Representation shapes what seems possible, even when no one says it out loud. I feel so incredibly lucky to have crossed paths with (...) incredible women.” - Surya Mathialagan
➡️ hermathsstory.eu/surya-mathia...
#Cryptography #USA #Math #TheoreticalComputerScience #hermathsstory
➡️ hermathsstory.eu/surya-mathia...
#Cryptography #USA #Math #TheoreticalComputerScience #hermathsstory
Wow! So happy to be here on @bsky.app. During the pandemic, Twitter was my goto place for finding out what was happening in #consciousness science and #neuroscience, new fields for me (a #math/ #TheoreticalComputerScience person).
November 16, 2024 at 8:39 PM
Wow! So happy to be here on @bsky.app. During the pandemic, Twitter was my goto place for finding out what was happening in #consciousness science and #neuroscience, new fields for me (a #math/ #TheoreticalComputerScience person).
#ZeroOrigin #ApacheKafka #Kafka #EventDriven #EventDrivenArchitecture #EventStreaming #ApacheFlink #Microservices #DistributedSystems #ScalabilityPatterns #TheoreticalComputerScience #SystemsThinking #SystemsArchitecture #SystemsArchitect #SystemsEngineering #ArchitecturalPatterns #Rust #Rustlang
July 31, 2025 at 4:29 PM
#EventDrivenArchitecture #EventStreaming #ApacheFlink #Microservices #DistributedSystems #ScalabilityPatterns #TheoreticalComputerScience #SystemsThinking #SystemsArchitecture #SystemsArchitect #SystemsEngineering #ArchitecturalPatterns #Rust #Rustlang #CPlusPlus #FirstPrinciples
July 28, 2025 at 5:43 PM